Efektivitas Model CIRC dan GGE Terhadap Kemampuan Berpikir Kreatif Matematika

Effect of extracorporeal irradiation on segmental bone autograft incorporation in Sprague-Dawley rats

Latar belakang: Autograft tulang digunakan pada operasi rekonstruksi kasus tumor tulang. Extracorporeal irradiation (ECI) pada tulang digunakan untuk membunuh sel tumor. Namun radiasi juga menimbulkan efek negatif terhadap osteoinduksi dan osteogenensis untuk inkorporasi autograft tulang. Penelitian ini bertujuan mempelajari pengaruh iradiasi dengan dosis 50-300 Gy terhadap kemampuan inkorporas...

Efektivitas Zat Antibakteri Biji Mimba (Azadirachta indica) untuk Menghambat Pertumbuhan Salmonella thyposa dan Staphylococcus aureus

Neem (Azadirachta indica) is a multifunction plant. Its leaves and seeds can be used as a traditional medicine. One of the benefits of neem seeds is that they can serve as antibacteria. It happens because neem seeds contain certain substances which can impede the growth of Salmonella thyposa and Staphylococcus aureus bacteria. The aims of this research were to find out the efectiveness of soaki...

Közgazdasági és pénzügyi matematika

A közgazdaságtan a társadalom gazdasági folyamatait elemzi. Egy bevezetésben célszerű a részletek mellőzésével az egész közgazdaságtant áttekinteni. A közgazdaságtan magva a mikroökonómia, amely a fogyasztók és a vállalatok döntéseit adott gazdasági keretek mellett vizsgálja. Bemutatja, hogy a profitmaximalizáló vállalatok és a hasznosságmaximalizáló egyének összjátékából hogyan alakul ki a pia...

CIRC Prover

CIRC is an automated circular coinductive prover that is implemented as an extension of Maude. CIRC implements the circularity principle, which generalizes circular coinductive deduction [4] and can be expressed in plain English as follows. Assume that each equation of interest (to be proved) e admits a frozen form fr(e) and a set of derived equations, its derivatives, Der(e). The circularity p...

CIRC Tutorial